Hans van Maaren : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (24)
Les plus populaires
Liste
- Liste
- Tableau

1

On-Line Control and Optimisation of the Pelleting Process of Animal Feed

de Blank, Henriëtte, Hendrix, Eligius, Litjens, Michael, van Maaren, Hans

Journal:

Journal of the Science of Food and Agriculture

Année:

1997

Langue:

english

Fichier:

PDF, 290 KB

english, 1997

2

A two-phase algorithm for solving a class of hard satisfiability problems

Joost P. Warners, Hans van Maaren

Journal:

Operations Research Letters

Année:

1998

Langue:

english

Fichier:

PDF, 125 KB

english, 1998

3

Generation of classes of robust periodic railway timetables

Michiel A. Odijk, H. Edwin Romeijn, Hans van Maaren

Journal:

Computers & Operations Research

Année:

2006

Langue:

english

Fichier:

PDF, 243 KB

english, 2006

4

Improved solutions to the Steiner triple covering problem

Michiel A. Odijk, Hans van Maaren

Journal:

Information Processing Letters

Année:

1998

Langue:

english

Fichier:

PDF, 245 KB

english, 1998

5

Solving satisfiability problems using elliptic approximations – effective branching rules

Joost P. Warners, Hans van Maaren

Journal:

Discrete Applied Mathematics

Année:

2000

Langue:

english

Fichier:

PDF, 164 KB

english, 2000

6

Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT

Hans van Maaren, Joost P. Warners

Journal:

Discrete Applied Mathematics

Année:

2000

Langue:

english

Fichier:

PDF, 112 KB

english, 2000

7

Preface

Hans van Maaren

Journal:

Discrete Applied Mathematics

Année:

2003

Langue:

english

Fichier:

PDF, 60 KB

english, 2003

8

Elliptic approximations of propositional formulae

Hans van Maaren

Journal:

Discrete Applied Mathematics

Année:

1999

Langue:

english

Fichier:

PDF, 149 KB

english, 1999

9

Recognition of tractable satisfiability problems through balanced polynomial representations

Joost P. Warners, Hans van Maaren

Journal:

Discrete Applied Mathematics

Année:

2000

Langue:

english

Fichier:

PDF, 141 KB

english, 2000

10

Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm

Chuangyin Dang, Hans van Maaren

Journal:

Journal of Computational and Applied Mathematics

Année:

2001

Langue:

english

Fichier:

PDF, 146 KB

english, 2001

11

Product ranking, budget allocation and monopolistic pricing in a multiproduct firm an application at Nonius, a division of Delft Instruments

Hans van Maaren, Jan Bertus Molenkamp, Henk Jan Reus

Journal:

International Journal of Production Economics

Année:

1997

Langue:

english

Fichier:

PDF, 727 KB

english, 1997

12

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

Hans van Maaren, Linda van Norden

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2005

Langue:

english

Fichier:

PDF, 341 KB

english, 2005

13

Relaxations of the Satisfiability Problem Using Semidefinite Programming

Etienne de Klerk, Hans van Maaren, Joost P. Warners

Journal:

Journal of Automated Reasoning

Année:

2000

Langue:

english

Fichier:

PDF, 234 KB

english, 2000

14

An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex

Chuangyin Dang, Hans Van Maaren

Journal:

Computational Optimization and Applications

Année:

1999

Langue:

english

Fichier:

PDF, 96 KB

english, 1999

15

Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights

Hans van Maaren, Joost P. Warners

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2003

Langue:

english

Fichier:

PDF, 108 KB

english, 2003

16

A Short Note on Some Tractable Cases of the Satisfiability Problem

Hans van Maaren

Journal:

Information and Computation

Année:

2000

Langue:

english

Fichier:

PDF, 88 KB

english, 2000

17

A Simplicial Approach to the Determination of an Integer Point of a Simplex

Chuangyin Dang and Hans Van Maaren

Journal:

Mathematics of Operations Research

Année:

1998

Langue:

english

Fichier:

PDF, 508 KB

english, 1998

18

A Simplicial Approach to the Determination of an Integer Point of a Simplex

Dang, Chuangyin, van Maaren, Hans

Journal:

Mathematics of Operations Research

Année:

1998

Langue:

english

Fichier:

PDF, 228 KB

english, 1998

19

Small percentage of anaphylactic reactions treated with epinephrine during food challenges in Dutch children

van der Valk, Johanna P.M., Berends, Irene, Gerth van Wijk, Roy, Arends, Nicolette. J.T., van Maaren, Maurits S., de Groot, Hans, Wichers, Harry J., Emons, Joyce A.M., Dubois, Anthony E.J., de Jong, N

Journal:

Annals of Allergy, Asthma & Immunology

Année:

2017

Langue:

english

Fichier:

PDF, 199 KB

english, 2017

20

Breast cancer subtypes in stage IV inflammatory breast cancer and the effect of resection of the primary tumor on survival

van Uden, D., van Maaren, M., Strobbe, L., Bult, P., Koos, V.D.H., Siesling, S., Hans, D.W., Blanken-Peeters, C.

Journal:

European Journal of Surgical Oncology (EJSO)

Année:

2019

Langue:

english

Fichier:

PDF, 54 KB

english, 2019

21

Breast cancer subtypes in stage IV inflammatory breast cancer and the effect of resection of the primary tumor on survival

van Uden, D., van Maaren, M., Strobbe, L., Bult, P., Koos, V.D.H., Siesling, S., Hans, D.W., Blanken-Peeters, C.

Journal:

European Journal of Surgical Oncology (EJSO)

Année:

2019

Fichier:

PDF, 54 KB

2019

22

Parallel SAT Solving using Bit-level Operations1

Heule, Marijn, van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Année:

2008

Fichier:

PDF, 416 KB

2008

23

March_dl: Adding Adaptive Heuristics and a New Branching Strategy

Heule, Marijn J.H., van Maaren, Hans, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Année:

2006

Fichier:

PDF, 203 KB

2006

24

Whose side are you on?1

Heule, Marijn J.H., van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Année:

2008

Fichier:

PDF, 1.41 MB

2008